Journal article
Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems
Artem Polyvyanyy, Andreas Solti, Matthias Weidlich, Claudio Di Ciccio, Jan Mendling
ACM Transactions on Software Engineering and Methodology | Association for Computing Machinery (ACM) | Published : 2020
DOI: 10.1145/3387909
Abstract
The behavioural comparison of systems is an important concern of software engineering research. For example, the areas of specification discovery and specification mining are concerned with measuring the consistency between a collection of execution traces and a program specification. This problem is also tackled in process mining with the help of measures that describe the quality of a process specification automatically discovered from execution logs. Though various measures have been proposed, it was recently demonstrated that they neither fulfil essential properties, such as monotonicity, nor can they handle infinite behaviour. In this article, we address this research problem by introdu..
View full abstractGrants
Awarded by Australian Research Council
Funding Acknowledgements
Artem Polyvyanyy was partly supported by the Australian Research Council Discovery Project DP180102839. Artem Polyvyanyy and Matthias Weidlich are grateful for the support by the Universities Australia (UA) and the German Academic Exchange Service (DAAD) as part of the Joint Research Co-operation Scheme. The work of Claudio Di Ciccio and Jan Mendling received funding from the EU H2020 programme under the MSCA-RISE agreement 645751 (RISE_BPM) and the Austrian Research Promotion Agency (FFG) grant 861213 (CitySPIN). Claudio Di Ciccio was partly supported by the MIUR under grant "Dipartimenti di eccellenza 2018-2022" of the Department of Computer Science at Sapienza University of Rome.